Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
541	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
542	Event Spaces and Their Linear Logic Vaughan Pratt Computer Sci. Dept., Stanford, CA 94305, USA [removed] April 25, 1991 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:05:21 Order theory Algebraic structures Mathematical structures Lattice theory Lattice Ideal Partially ordered set Boolean algebra Vector space Mathematics Algebra Abstract algebra
543	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]PRIORITIZED IMPERATIVES AND NORMATIVE CONFLICTS Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:28 Logic Metaphilosophy Differential geometry Differential topology Operator theory Linear temporal logic Mathematics Interpretation Model theory Metalogic Constructible universe
544	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra
545	A LINEAR ATTACK ON A KEY EXCHANGE PROTOCOL USING EXTENSIONS OF MATRIX SEMIGROUPS JINTAI DING, ALEXEI MIASNIKOV, AND ALEXANDER USHAKOV Abstract. In this paper we analyze the Kahrobaei-Lam-Shpilrain (KLS) key exchange prot Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-14 17:20:26 Inverse element Linear temporal logic Group theory Semidirect product Symbol
546	[removed]Calculus of Variations Tomáš Roubíˇcek Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2014-11-17 04:42:49 Theoretical physics Mathematics Differential geometry Linear temporal logic Mathematical logic Hahn–Banach theorem Mathematical analysis Operator theory Calculus of variations
547	28th Annual NDIA Test & Evaluation Conference Hilton Head, SC[removed]March, [removed]Years of Add to Reading List Source URL: www.survice.com Language: English - Date: 2012-08-22 15:47:17 linear algebra Map projection Requirement Mereology Mathematical logic Logic Functional analysis Mathematics Projection
548	An Approximation Algorithm for Continuous LMPs Alexandre Bouchard-Cˆot´e April 7, 2005 The goal of this presentation: examine the main topics of LMP theory and discuss their algorithmic contents. In particular, a rando Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:06:16 Mathematical logic Computability theory Hypergeometric functions Μ operator Linear temporal logic Mathematics Functions and mappings Function
549	Journal of Machine Learning Research[removed]–1653 Submitted 10/05; Published 7/06 Structured Prediction, Dual Extragradient and Bregman Projections Ben Taskar Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2006-07-07 16:03:04 Linear programming Dynamic programming Mathematical optimization Function Combinatory logic Markov random field Mathematics Operations research Applied mathematics
550	Painless Unsupervised Learning with Features Taylor Berg-Kirkpatrick Alexandre Bouchard-Cˆot´e John DeNero Dan Klein Computer Science Division University of California at Berkeley Berkeley, CA 94720 Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:06:29 Logic Linear temporal logic Diagonal lemma Constructible universe Mathematical logic Mathematics

UPDATE